1

Program inversion: More than fun!

Year:
1990
Language:
english
File:
PDF, 1.34 MB
english, 1990
4

Rank order filters and priority queues

Year:
1992
Language:
english
File:
PDF, 692 KB
english, 1992
5

A formal model for defining and classifying delay-insensitive circuits and systems

Year:
1986
Language:
english
File:
PDF, 827 KB
english, 1986
6

Robust cyclic berth planning of container vessels

Year:
2010
Language:
english
File:
PDF, 422 KB
english, 2010
7

Absence of individual starvation using weak semaphores

Year:
1986
Language:
english
File:
PDF, 264 KB
english, 1986
8

An alternative implementation of communication primitives

Year:
1986
Language:
english
File:
PDF, 371 KB
english, 1986